#include<stdio.h>
#include<limits.h>

int main(int argc, char const *argv[])
{
    printf("INT_MAX:%d", INT_MAX);
    return 0;
}
